definition external procedure

[计] 外部过程定义